Zermelo set theory - mrsekut-p

Zermelo set theory

1908年にErnst Zermeloが提唱した集合論の公理系

ZF公理系よりも前であることに注意

$ Z^-と表記する

以下の8つの公理からなる

外延性の公理

空集合の公理

和集合の公理

冪集合公理

正則性公理

ZF公理系を知っている前提でわかりやすく言うと

$ Z^-=ZF公理系$ -置換公理$ +分出公理

これが公理系としてどう弱いのか

整礎的集合#6092b56d19827000001359bf

『集合とはなにか』.icon p.104~を再読

ゆるいのでもうちょい良い資料はあると思うmrsekut.icon

参考

『集合とはなにか』 p.94~

https://en.wikipedia.org/wiki/Zermelo_set_theory